/*
 * @Author: czy
 * @Date: 2021-04-23 16:00:20
 * @LastEditTime: 2021-06-05 22:35:24
 */
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
#include "datetime.h"

#include "server/wallClock.h"

#include "dev/hardware/i8253.h"
#include "dev/hardware/i8259.h"

extern void myMain(void);

/**
 * @description: Initialization.
 */
static void init(void)
{
	init8259();
	init8253();
	setWallClockFormat("%Y/%m/%d %H:%M:%S");
	setWallClockRefresh(1000);
}

void osStart(void)
{
	clear();
	init();
	myMain();
	exit(0);
}